About the company
Logos is a grassroots movement to provide trust-minimized, corruption-resistant governing services and social institutions to underserved citizens. Logosā infrastructure will provide a base for the provisioning of the next generation of governing services and social institutions - paving the way to economic opportunities for those who need them most, whilst respecting basic human rights through the networkās design.
Job Summary
Key responsibilities
šResearch, analyze and design proof systems and architectures for private computation šBe familiar and adapt to research needs zero-knowledge circuits written in Rust Design and implement zero-knowledge circuits in Rust šWrite specifications and communicate research findings through write-ups šBreak down complex problems, and know what can and what canāt be dealt with later šPerform security analysis, measure performance of and debug circuits
You ideally will have
šVery strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience šExperience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#) šExperience with Open Source software šDeep understanding of Zero-Knowledge proof systems (zk-SNARK, circom, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design šKeen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers. šExperience in, and passion for, blockchain technology.

.png?1651173526)



